emptyRecord is package{
  E is {};

  testEmpty({}) is true;

  main() do {
    assert testEmpty(E)
  }
}